step(al,bs,tm(s,[ctxm(xi_,u,ip,ip_al_4,ip_al_4),ctxm(xi_,sp,ip,ip_bs,ip_bs)],pri(lst,[pri(lst,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),pri(pk,[ctxm(xi_,u,kM,kM_al,kM_al)]),ctxm(xi_,dot,n_c,in_c,cn_c)]),pri(sig,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),pri(pk,[ctxm(xi_,u,kM,kM_al,kM_al)]),ctxm(xi_,dot,n_c,in_c,cn_c)]),ctxm(xi_,ca,kM,kM_ca,kM_ca)])]),pri(lst,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,u,d_1,id_1,cd_1),ctxm(xi_,u,d_2,id_2,cd_2),ctxm(xi_,u,d_3,id_3,cd_3),ctxm(xi_,dot,n_a,in_a,cn_a)]),pri(sig,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,u,d_1,id_1,cd_1),ctxm(xi_,u,d_2,id_2,cd_2),ctxm(xi_,u,d_3,id_3,cd_3),ctxm(xi_,dot,n_a,in_a,cn_a)]),ctxm(xi_,idp1,kM,kM_ii,kM_ii)])]),pri(lst,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,u,d_5,id_5,cd_5),ctxm(xi_,u,d_6,id_6,cd_6),ctxm(xi_,dot,n_b,in_b,cn_b)]),pri(sig,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,u,d_5,id_5,cd_5),ctxm(xi_,u,d_6,id_6,cd_6),ctxm(xi_,dot,n_b,in_b,cn_b)]),ctxm(xi_,idp2,kM,kM_is,kM_is)])])]))).
